reglas de inferencia logica ejemplos